int rust_add (int left, int right);